Probabilistic semantics for intuitionistic logic.
نویسندگان
چکیده
منابع مشابه
Neighborhood Semantics for Basic and Intuitionistic Logic
In this paper we present a neighborhood semantics for Intuitionistic Propositional Logic (IPL). We show that for each Kripke model of the logic there is a pointwise equivalent neighborhood model and vice versa. In this way, we establish soundness and completeness of IPL with respect to the neighborhood semantics. The relation between neighborhood and topological semantics are also investigated....
متن کاملSemantics of intuitionistic propositional logic
Intuitionistic logic is a weakening of classical logic by omitting, most prominently, the principle of excluded middle and the reductio ad absurdum rule. As a consequence, this logic has a wider range of semantical interpretations. The motivating semantics is the so called Brouwer-Heyting-Kolmogorov interpretation of logic. The propositions A,B,C, . . . are regarded as problems or tasks to be s...
متن کاملTruth-Maker Semantics for Intuitionistic Logic
I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relations...
متن کاملEpistemic semantics for classical and intuitionistic logic
1 In this paper I propose to explain how several nonstandard semantic systems for the propositional logic can be seen as employing essentially the same principles for defining the notion of logical entailment and the more basic idea of assignment of truth-values to molecular sentences. The systems are Kleene's three-valued matrix for the strong connectives, Lukasiewicz's three-valued matrix, su...
متن کاملPretopology Semantics for Bimodal Intuitionistic Linear Logic
We present a complete pretopology semantics for a system of Intuitionistic Linear Logic (commutative or not) where the storage operator is split into a contraction and a weakening component and then recovered again from them. The semantics for weakening and contraction has been explored by Bart Jacobs 13] in a categorical setting. However, a completeness theorem is not given in 13] and the appr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1983
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093870307